4

Specification of abstract dynamic-data types: A temporal logic approach

Année:
1997
Langue:
english
Fichier:
PDF, 2.86 MB
english, 1997